import 'package:flutter/material.dart';
import 'package:flutter/widgets.dart';

Widget build_code_editor(Widget editor) {
  return Material(child: editor);
}
